$\forall$$g$:IAbMonoid, $a$, $b$:$\mid$$g$$\mid$. ($a$ $\ast$ $b$) = ($b$ $\ast$ $a$) $\in$ $\mid$$g$$\mid$